圏論のToy Exampleとしての集合演算